/// Files: net/packet/af_packet.c
/// Fix: acf69c946233259ab4d64f8869d4037a198c7f06
/// Fixes: 58d19b19cd99b438541eea4cdbf5c171900b25e5

virtual detect

@err@
position p;
@@

tpacket_rcv(...)
{
	... when != if (netoff > USHRT_MAX) {...}
*	\(__packet_rcv_vnet\|virtio_net_hdr_from_skb\)(...)@p
	...
}

@script:python depends on detect@
p << err.p;
@@

coccilib.report.print_report(p[0])
